Type inference for Python programming language

Type Inference in the Icon Programming Language

A Static Type Inference for Python

Dynamic languages, like Python, are attractive because they guarantee that no correct program is rejected prematurely. However, this comes at a price of losing early error detection, and making both code optimization and certification harder tasks when compared with static typed languages. Having the static certification of Python programs as a goal, we developed a static type inference system ...

Python as a Programming Language for the Introductory Programming Courses

Lappeenranta University of Technology Department of Information Technology Jussi Pekka Kasurinen Python as a programming language for the introductory programming courses Thesis for the Degree of Bachelor of Science in Technology

An Incremental Type Inference System for the Programming Language

Modern computing environments strive to be robust and reliable, and at the same time, aim at providing enough exibility to an interactive user to edit, debug, and test programs easily and e ciently. Strongly typed languages satisfactorily meet the former goal by guaranteeing that \type-consistent" programs will not incur run-time type-errors. But most programming environments for such languages...

Sound and Complete Type Inference for a Systems Programming Language

This paper introduces a new type system designed for safe systems programming. The type system features a new mutability model that combines unboxed types with a consistent typing of mutability. The type system is provably sound, supports polymorphism, and eliminates the need for alias analysis to determine the immutability of a location. A sound and complete type inference algorithm for this s...